A model of context-dependent component connectors

نویسندگان

  • Marcello M. Bonsangue
  • Dave Clarke
  • Alexandra Silva
چکیده

Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent behaviour. To increase the expressiveness of connectors notions of context-dependent behaviour have been proposed. Context dependency can be used can express the priority of one behaviour over another and the inhibition of actions due to changing context. The notion of context we consider in this paper is given by the pending activities on the ports of a connector. Context dependent behaviour occurs whenever the choices available to a connector change non-monotonically as its context changes. Capturing context-dependent behaviour in formal models is non-trivial, as it is unclear how to propagate context information through composition. In this paper we present an intuitive automata-based formal model of contextdependent connectors, and argue that it is superior to previous attempts at such a model for the coordination language Reo.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automata for Context-Dependent Connectors

Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent be...

متن کامل

Testing and numerical modelling of Steel-Concrete-Steel with stud bolts connectors subject to push-out loading

Steel-concrete-steel (SCS) sandwich panels are composed of two steel plates with low thicknesses and high densities and strengths and one thick layer between both plates with low strength and density known as core that is composed of concrete. Cohesive material-epoxy resin or shear connectors are usually used to connect the plates to the concrete core. SCS sandwich composites are being develope...

متن کامل

Connector Colouring I: Synchronisation and Context Dependency

Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and context-dependent behaviour. This paper proposes a scheme based on connector colouring for determining the behaviour of a Reo connector by resolving its context dependent synchronisation and mutual exclusion constraints. Co...

متن کامل

Leveraging Aspect-Connectors to Improve Stability of Product-Line Variabilities

One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder’s requirements. However, the stability of a PLA is largely dependent on how modularized are the decisions crosscutting multiple architectural variation points. Their scattered implementation often leads to a number of side effects, such as architecture-wide modifications. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Sci. Comput. Program.

دوره 77  شماره 

صفحات  -

تاریخ انتشار 2012